Ching-Tsun Chou: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Experience with Applying Formal Methods to Protocol Specification and System Architecture

Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phamndra K. Mannava, Seungjoon Park

Journal:

Formal Methods in System Design

Year:

2003

Language:

english

File:

PDF, 71 KB

english, 2003

2

[IEEE 2011 International Conference on Parallel Architectures and Compilation Techniques (PACT) - Galveston, TX, USA (2011.10.10-2011.10.14)] 2011 International Conference on Parallel Architectures and Compilation Techniques - DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism

Choi, Byn, Komuravelli, Rakesh, Sung, Hyojin, Smolinski, Robert, Honarmand, Nima, Adve, Sarita V., Adve, Vikram S., Carter, Nicholas P., Chou, Ching-Tsun

Year:

2011

Language:

english

File:

PDF, 436 KB

english, 2011

3

Linear broadcast routing

Ching-Tsun Chou, Inder S Gopal

Journal:

Journal of Algorithms

Year:

1989

Language:

english

File:

PDF, 1.36 MB

english, 1989

4

Simple proof techniques for property preservation via simulation

Ching-Tsun Chou

Journal:

Information Processing Letters

Year:

1996

Language:

english

File:

PDF, 438 KB

english, 1996

5

Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou

Journal:

Formal Methods in System Design

Year:

2010

Language:

english

File:

PDF, 997 KB

english, 2010

6

Formal Verification of a Partial-Order Reduction Technique for Model Checking

Ching-Tsun Chou, Doron Peled

Journal:

Journal of Automated Reasoning

Year:

1999

Language:

english

File:

PDF, 147 KB

english, 1999

7

[IEEE 2007 IEEE International High Level Design Validation and Test Workshop - Irvine, CA, USA (2007.11.7-2007.11.9)] 2007 IEEE International High Level Design Validation and Test Workshop - Hierarchical cache coherence protocol verification one level at a time through assume guarantee

Xiaofang Chen,, Yu Yang,, Delisi, Michael, Ching-Tsun Chou,

Year:

2007

Language:

english

File:

PDF, 280 KB

english, 2007

8

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee

Chen, Xiaofang, Yang, Yu, Gopalakrishnan, Ganesh, Chou, Ching-tsun

Year:

2006

Language:

english

File:

PDF, 241 KB

english, 2006

9

Revisiting the Complexity of Hardware Cache Coherence and Some Implications

Komuravelli, Rakesh, Adve, Sarita V., Chou, Ching-Tsun

Journal:

ACM Transactions on Architecture and Code Optimization

Year:

2014

Language:

english

File:

PDF, 1.53 MB

english, 2014

10

Horizontal and vertical movement patterns of sunfish off eastern Taiwan

Chang, Ching-Tsun, Lin, Shian-Jhong, Chiang, Wei-Chuan, Musyl, Michael K., Lam, Chi-Hin, Hsu, Hung-Hung, Chang, Yung-Chou, Ho, Yuan-Shing, Tseng, Chen-Te

Journal:

Deep Sea Research Part II: Topical Studies in Oceanography

Year:

2019

Language:

english

File:

PDF, 1.48 MB

english, 2019

11

Horizontal and vertical movement patterns of sunfish off eastern Taiwan

Chang, Ching-Tsun, Lin, Shian-Jhong, Chiang, Wei-Chuan, Musyl, Michael K., Lam, Chi-Hin, Hsu, Hung-Hung, Chang, Yung-Chou, Ho, Yuan-Shing, Tseng, Chen-Te

Journal:

Deep Sea Research Part II: Topical Studies in Oceanography

Year:

2019

File:

PDF, 1.48 MB

2019